au.\*:("Smolka, Gert")
Results 1 to 25 of 45
Selection :
Principles and practice of constraint programming - CP 97 (Linz, October 29 - November 1, 1997)Smolka, Gert.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63753-2, XII, 561 p, isbn 3-540-63753-2Conference Proceedings
Special issue on CP97 (The Third International Conference on Principles and Practice of Constraint Programming)SMOLKA, Gert.Constraints (Dordrecht). 2000, Vol 5, Num 1-2, issn 1383-7133, 202 p.Conference Proceedings
Counting, structure identification and maximum consistency for binary constraint satisfaction problemsISTRATE, G.Lecture notes in computer science. 1997, pp 136-149, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Why adding more constraints makes a problem easier for hill-climbing algorithms : Analyzing landscapes of CSPsYOKOO, M.Lecture notes in computer science. 1997, pp 356-370, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Programming constraint inference enginesSCHULTE, C.Lecture notes in computer science. 1997, pp 519-533, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Verification of parallel systems using constraint programmingMELZER, S.Lecture notes in computer science. 1997, pp 92-106, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Configuration solvers : Tailoring general methods to specific applicationsMINTON, S.Lecture notes in computer science. 1997, pp 372-374, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Operational semantics and confluence of constraint propagation RulesABDENNADHER, S.Lecture notes in computer science. 1997, pp 252-266, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Using constraint propagation for complex scheduling problems : Managing size, complex resources and travelCASEAU, Y.Lecture notes in computer science. 1997, pp 163-166, issn 0302-9743, isbn 3-540-63753-2Conference Paper
A Goal-Directed Decision Procedure for Hybrid PDLKAMINSKI, Mark; SMOLKA, Gert.Journal of automated reasoning. 2014, Vol 52, Num 4, pp 407-450, issn 0168-7433, 44 p.Article
Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problemsBAPTISTE, P; LE PAPE, C.Lecture notes in computer science. 1997, pp 375-389, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Reconfigurable architectures : A new vision for optimization problemsHAMADI, Y; MERCERON, D.Lecture notes in computer science. 1997, pp 209-221, issn 0302-9743, isbn 3-540-63753-2Conference Paper
AC-unification of higher-order patternsBOUDET, A; CONTEJEAN, E.Lecture notes in computer science. 1997, pp 267-281, issn 0302-9743, isbn 3-540-63753-2Conference Paper
NeMo+ : Object-oriented constraint programming environment based on subdefinite modelsSHVETSOV, I; TELERMAN, V; USHAKOV, D et al.Lecture notes in computer science. 1997, pp 534-548, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Ordering constraints over feature treesMÜLLER, M; NIEHREN, J; PODELSKI, A et al.Lecture notes in computer science. 1997, pp 297-311, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Modelling exceptionally hard constraint satisfaction problemsSMITH, B. M; GRANT, S. A.Lecture notes in computer science. 1997, pp 182-195, issn 0302-9743, isbn 3-540-63753-2Conference Paper
A modeling language for local searchMICHEL, L; VAN HENTENRYCK, P.Lecture notes in computer science. 1997, pp 237-251, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Distributed partial Constraint Satisfaction ProblemHIRAYAMA, K; YOKOO, M.Lecture notes in computer science. 1997, pp 222-236, issn 0302-9743, isbn 3-540-63753-2Conference Paper
From restricted path consistency to max-restricted path consistencyDEBRUYNE, R; BESSIERE, C.Lecture notes in computer science. 1997, pp 312-326, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Solving various weighted matching Problems with constraintsCASEAU, Y; LABURTHE, F.Lecture notes in computer science. 1997, pp 17-31, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Statistical analysis of backtracking on inconsistent CSPsRISH, I; FROST, D.Lecture notes in computer science. 1997, pp 150-162, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Tractable disjunctive constraintsCOHEN, D; JEAVONS, P; KOUBARAKIS, M et al.Lecture notes in computer science. 1997, pp 478-490, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Tractable recursion over geometric dataGRUMBACH, S; KUPER, G.Lecture notes in computer science. 1997, pp 450-462, issn 0302-9743, isbn 3-540-63753-2Conference Paper
On the complexity of unification and disunification in commutative idempotent semigroupsHERMANN, M; KOLAITIS, P. G.Lecture notes in computer science. 1997, pp 282-296, issn 0302-9743, isbn 3-540-63753-2Conference Paper
Set constraints : A pearl in research on constraintsPACHOLSKI, L; PODELSKI, A.Lecture notes in computer science. 1997, pp 549-561, issn 0302-9743, isbn 3-540-63753-2Conference Paper